Date: Wed, 20 Nov 1996 19:11:43 GMT
Server: Apache/1.1.1
Content-type: text/html

<HTML>
<HEAD>
<TITLE> Compositional Systems Research Group at Caltech </TITLE>
<!-- RCS Header: $Header: /ufs/info/srv_root/public_html/RCS/comp.html,v 1.10 1996/11/14 23:06:18 adam Exp $ -->
</HEAD>

<BODY BACKGROUND = "graphics/background.gif">

<H1 ALIGN = CENTER> Compositional Systems Research Group at Caltech </H1>
<H3 ALIGN = CENTER> Bringing Theory to the Marketplace </H3>

<HR>

<H3 ALIGN = CENTER> Compositional Systems Research Group Goals </H3>

We are developing formal methods and tools to enable users to write
correct parallel and distributed programs.  We believe program
compositionality is a powerful means to these ends.

<BLOCKQUOTE>
<UL>
<LI> <!WA0><A HREF = "http://www.infospheres.caltech.edu/people/comp.html">
 People </A> in the group
<LI> <!WA1><A HREF = "http://www.infospheres.caltech.edu/resources/index.html">
 Resources </A> on the Web
<LI> <!WA2><A HREF = "http://www.infospheres.caltech.edu/resources/cfp.html">
 Calls </A> for papers and conferences
<LI> <!WA3><A HREF = "http://www.infospheres.caltech.edu/resources/webliography.html">
 Webliography </A> of projects and tools related to ours
</UL>
</BLOCKQUOTE>

<BR><BR><HR>

<H3 ALIGN = CENTER> Research Group Projects </H3>

<BLOCKQUOTE>

<UL>

<LI> <!WA4><A HREF = "http://www.etext.caltech.edu/">
 Archetypes </A> parallel patterns and electronic textbook
<LI> <!WA5><A HREF = "http://www.compbio.caltech.edu/ccpp/">
 CC++ </A> programming language
<LI> <!WA6><A HREF = "http://www.compbio.caltech.edu/">
 Computational Biology </A>
<LI> <!WA7><A HREF = "http://www.cs.caltech.edu/~cs138/">
 Computer Algorithms</A> class at Caltech
<LI> <!WA8><A HREF = "http://www.mcs.anl.gov/fortran-m/">
 Fortran M </A> programming language
<LI> <!WA9><A HREF = "http://www.infospheres.caltech.edu/past_projects/fm-mpi/">
 Fortran M and MPI </A> program examples
<LI> <!WA10><A HREF = "http://www.infospheres.caltech.edu/infospheres.html">
 Infospheres </A> compositional distributed computing components
<LI> <!WA11><A HREF = "http://www.infospheres.caltech.edu/releases/ii.html">
 Infospheres Infrastructure </A> Java package
<LI> <!WA12><A HREF = "http://www.infospheres.caltech.edu/past_projects/maisie/">
 Maisie </A> program examples
<LI> <!WA13><A HREF = "http://www.extreme.indiana.edu/pseware/">
 Problem Solving Environments </A>

</UL>

</BLOCKQUOTE>

<BR><BR><HR>

<H3 ALIGN = CENTER> Thanking our Sponsors </H3>

<BLOCKQUOTE>

<UL>

<LI> Theory, Formal Methods : <!WA14><A HREF =
 "http://www.nas.edu/cets/aseb/afosr1.html"> AFOSR </A> (Air Force
 Office of Scientific Research) grant AFOSR-91-0070

<LI>
 <!WA15><A HREF = "http://www.compbio.caltech.edu/ccpp/"> CC++ </A>,
 <!WA16><A HREF = "http://www.mcs.anl.gov/fortran-m/"> Fortran M </A>,
 <!WA17><A HREF = "http://www.mcs.anl.gov/Projects/pcn.html"> PCN </A> :
 <!WA18><A HREF = "http://www.arpa.mil/"> DARPA </A> grant N00014-91-J-4014

<LI>
 <!WA19><A HREF = "http://www.etext.caltech.edu/"> Archetypes </A> :
 <!WA20><A HREF = "http://www.crpc.rice.edu/CRPC/"> CRPC </A> grant CCR-9120008

<LI>
 <!WA21><A HREF = "http://www.extreme.indiana.edu/pseware/"> PSE </A>,
 <!WA22><A HREF = "http://www.infospheres.caltech.edu/releases/ii.html">
 Infospheres Infrastructure </A> /
 <!WA23><A HREF =
 "http://www.infospheres.caltech.edu/mailing_lists/java/"> Java </A> /
 <!WA24><A HREF = "http://www.infospheres.caltech.edu/infospheres.html"> Infospheres </A> Distributed Computing :
 <!WA25><A HREF = "http://www.nsf.gov/"> NSF </A>/PSE grant CCR-9527130 and 
 <!WA26><A HREF = "http://www.novell.com/"> Novell </A>, Inc.

</UL>

</BLOCKQUOTE>

<HR>

<!-- Toolbar at bottom of all major top-level pages -->

<P ALIGN=CENTER> [ <!WA27><A HREF =
"http://www.infospheres.caltech.edu/index.html"> Home </A> ] [ <!WA28><A HREF
= "http://www.infospheres.caltech.edu/people/infospheres.html"> People
</A> ] [ <!WA29><A HREF =
"http://www.infospheres.caltech.edu/papers/index.html"> Papers </A> ]
[ <!WA30><A HREF="http://www.infospheres.caltech.edu/releases/index.html">
Releases </A> ] [ <!WA31><A HREF =
"http://www.infospheres.caltech.edu/mailing_lists/index.html"> Mailing
Lists </A> ] [ <!WA32><A HREF="http://www.infospheres.caltech.edu/comp.html">
Related Work </A> ] [ <!WA33><A
HREF="http://www.infospheres.caltech.edu/past_projects/index.html">
Past Projects </A> ] [ <!WA34><A
HREF="http://www.infospheres.caltech.edu/resources/index.html"> Group
Resources </A> ]

<BR><BR>

<ADDRESS>

This is the home page of the Compositional Systems Research Group of
the <!WA35><A HREF = "http://www.crpc.rice.edu/CRPC/"> Center for Research on
Parallel Computation </A>, located in the <!WA36><A HREF =
"http://www.cs.caltech.edu/"> Caltech Computer Science Dept </A>.  It
is maintained by <!WA37><A HREF = "http://www.cs.caltech.edu/~adam/">Adam
Rifkin</A> and <!WA38><A HREF = "http://www.cs.caltech.edu/~kiniry/">Joseph
Kiniry</A>. This page was last modified on Thursday, 14-Nov-96 15:06:18 PST

</ADDRESS>

</BODY>
</HTML>
